difference between slack variable and surplus variable